Reusable verifiers and changing initial state - Behmaneshrad