Including the reconciler in the verifier.