Section 17: Proof