Chapter 57: Verification