Separete the sititions that if a state is unknown currently, or it's known but not satisfied.