-----Robert Dodier <robert.dodier at gmail.com> wrote: ----- >As an aside, since I think freeof is the key predicate here, not equal, >I agree that integrate nouns should be comparable by equal. True--the conversation just wandered. It started with equal and moved to outativity of integration. Barton