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