Chapter 6. Proof and Proving