add reactive verifier