Ugh. I'm dying.

Theorem: Formal logic training blows.

Proof: Suppose R is a relation on MxS where M is the set of all math courses and S is the set of all students dumb enough to take math courses. Consider xRs, we see that for all s, if x=sets and logic, then s will be mind numbingly bored. Now considering lemma 15, pertaining to x and s, we see that if s is mind numbingly bored, x likes wankers in its mouth. Thus, if x is sets and logic, x blows.

QED bitches.