proof, proofs