Verification principle