Working on rewriting the rules for the Verifier, addressing issue #47.