add end states for verifier