Chapter 5. Proof of Obligations