Proof Week 11 Homework