Their values are as if the original pushing had pushed back not λ(F qi ) ∈ ∆ * but only its shorter prefixλ(q i ) def = λ(F qi )/ρ(q i ) ∈ ∆ * (note the right quotient).
an arc from q i to r i with weight k ∈ ∆ * was reweighted asλ(q i )\(k ⊗λ(r i )).