Projects and Proofs