Chapter 2: Reasoning and Proofs