Proof Week 12 Homework