No loops are allowed, which means that the rewriting process cannot yield to a symbol that appeared on the left hand-side of an applied rule.
note however, that a sequence of tokens matched with nAP may contain tokens for which the agreement test is not applicable, e.g.