sortedPair - assert a <= b