To apply this to our setting, note that (1) all constraints, even the initial \(\alpha_{i}\leq\mathsf{logit}_{i}\leq\beta_{i}\), are of the required form; (2) the graph has no negative cycles because the true logits give a feasible solution. (3) we can get the lower bounds by applying the same procedure to the graph induced by inequalities on \(-\mathsf{logit}_{i}\).