(to the tune of I've Been Workin' On the Railroad)
I've been workin' on the problems
All the live long night.
I've been workin' on the problems
It's a struggle. It's a fight.
Can't you hear the workshops calling?
Rise up so early in the dorm.
Can't you hear the lemmas falling?
Burnside, Gauss, and Zorn.
Chorus (2x):
Kelly, dontcha know
Kelly, dontcha know
Kelly, dontcha know
Kelly, dontcha know you're wrong
There's...
Someone in the kitchen at Saga
Someon in the kitchen I know
Someone in the kitchen at Sa-ga
Pourin' on the salt like snow...
And... sing... in'...
What the hell do you know?
Suppose that any n pigs are yellow
Induct on n to show...
Induction's false, so it goes.