Feasibility condition (DUAL)