[pekk]

not (a > b) does not imply (b > a), particularly if there is no clearly defined ordering over a and b