Chapter 60: Verification