But since these constraints need to hold only for the TAG derivation trees that correspond to derived trees in the tree language, subderivation trees need not satisfy them.
γ 1 and γ 2 from the same elementary tree set can be added at different moments of the derivation as long as the final complete TAG derivation tree satisfies (MC1)-(MC3).