Connie Senior Session 2 Proofs - leebase