Chapter 3, section 3.1. Proof Strategies