WYCS: very minor tweak which helps deal with negated inequalities.