Chapter 31: Organization and Verification