20.4 Verification