Verification logic.