Between Proof and Prove