Ch2: Reasoning and Proof