Since M can only produce the output tree u , this also limits the total number of rule applications in any successful derivation.
m can only apply a copying rule at most |u | times, which shows that m is finitely copying (see Definition 8).