VerifyingStateFactory