The formulation shown here differs from Williams and does not require transforming the original constraint into a standard form with positive coefficients. The new constraint to be found is