Some Sort of Proof