Use new verifier function to lazily check.