Direct Verification