Changed main verifier