Why is it that the simplest fucking assumptions are the hardest to prove?
The curse of knowledge unearned burns the bearer with knowings unbegotten and unshowable. Afflicted with a cursed item unable to be explained and yet so useful to consider as truth. We wizards need job security, and will never be short of it for the efforts of the most useful propositions being the most magically cursed and fraught with intricate spells.

I am going to be tearing apart the theorem-prover source code for useful lemmas since the machine cannot satiate me alone :)