I revised my proposal for lookbehinds: http://www.akenotsuki.com/misc/srell/lookbehind_proposal.html I rewrote the paragraphs about how to count Atoms in Disjunction, to clarify that the recursive call is used for nested Disjunctions. Regards, Nozomu