Verifier predicates/callbacks should be instance variables