infeasibility
not defined yet