Extracted common part, fourVerification from Verifier.