The Non-Proof Proof

August 31, 2008