xxx (23:40:03 8/04/2011)
I confused two theorems, reduced them to one.

xxx (23:40:06 8/04/2011)
Almost proved it!

xxx (23:40:10 8/04/2011)
Prelude to...El

xxx (23:40:24 8/04/2011)
I myself, honestly, too