Back to Proof