simplify IsInState