More correctly replace greater-than inequality.
More correctly replace greater-than inequality.

This now inverts the terms' coefficients instead of swapping left and
right.

alisdair/lpd3,alisdair/lpd3,alisdair/lpd3