Updated the AbstractVerifier to enforce one-to-one verification.