Clarify verification logic