Greg wrote: [...] > LOL! I grepped through SmallEiffel's standard library and found one > place where the boolean xor was used: in part of a contract. And was it really more expressive than a (very probably) equivalent "!=" would have been? Best regards, Nicola Musatti