The computer interprets both of Glen's *root* functions as being different, so clarity walks a very different line there. Only sometimes do we get the extensional equivalence of functions. Clarity, in a broader sense, often requires substitution. -- Sent from: http://friam.471366.n2.nabble.com/