Observe that r t y ≤ m t y by definition, and since t 0 generates at most l 0 x-tokens, by projectivity it generates at most (l 0 +1)m t x x-tokens (one sequence of m t x between each occurrence of x and the next, plus possibly one before the first and one after the last).
t is x, y, l 0 -asynchronous.