Chapter 29 Verification