This is different in the case of shared nodes: After β 1 and then β 2 have been adjoined, the root node of β 2 in the derived tree is shared by β 1 and β 2 and consequently can be used for adjunctions at β 1 .
7 trees to be adjoined at the roots of β 1 and β 2 can be adjoined in any order.