Tests and Proofs