Proof Week 7