>> iff e unfolds to the same set as ë. If e only unfolds to [e], then >> [e-f] would unfold to [ef]. > > i don't think that works. consider [e-g]. normally > this would match 'f', but under your algorithm it wouldn't.
I don't get it, why not? Especially, what algorithm are we speaking about?
