Connie Senior Session 1 Proofs - leebase