Chapter 10: Proof Objects