Re: Equivalence classes

Henry writes:

> As currently spec'ed you can only nominate a global element as the
> exemplar of an equivalence class, so you example is invalid to start
> with.

Thanks, that answers my first question (as I suspected, in the negative).
But not my second, repeated here.

> If it's not possible, what was the rationale for omitting it?

By the way, I consider this on the critical path to getting a report
out the door, in the sense that the report needs to explain rationales
for this and other decisions.  Cheers, -- P