^{1}There are many orders which “sit well with intuition”. Perhaps the order Inv[y] < y < Inv[1 -y] < a < x does not set well, since, if possible, it would be preferable to express an answer in terms of y,rather than y^{-1}.