Chapter 2:
Reasoning and Proofs