Verification impl