I've Been Workin' on the Problems

(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.