Chapter 47: Verification