Chapter 40: How to Prove