Chapter 3 Verification