Verification and Limits