Harrison Verification