feasible states, condition 4