Proof Week 8 Homework