VerifyingState