Back to Proofs