More precisely, it relies on the assumption that (x > y) || (x == y) || (x < y) is true for all values x, y. But the semantics of the comparison operators le

More precisely, it relies on the assumption that (x > y) || (x == y) || (x < y) is true for all values x, y. But the semantics of the comparison operators lead to null > 0 || null == 0 || null < 0 being false and the whole house of cards crumbles down.