G'day all. Something else that's occurred to me with the user-defined equality predicates. How do they interact with compare/3? Would it still be true that compare((=), X, Y) <=> X = Y? Is this even an important property to maintain? Cheers, Andrew Bromage