Matthew's Senior Session (Proofs)