Reading list: Proofs