Session 1 Proofs