Probably no more verifier is needed.