Verifier functions defined.