@nprofile1q... just most people not realizing that the unequal operator is usually defined over unordered semantics, because otherwise it would be even more of a headache.