feasible states, condition 2