Chapter 26: Chapter 25. Proof (2)