it is of course the rule which is recursive. I knew those backrefs would come in handy.