Title: Tests and Proofs