With this single linking surrogate inequality, we can finally separate the subproblem. The artificial variables \(y,z,\ldots\) do not have anything in the objective function. The only thing they can do to improve the objective function is maximise feasibility in the linking inequality. For each set of artificial variables, the subproblem decomposes into