Chapter 37 Careful Verification