Criteria for Verification