Fig. 4From: Testing the agreement of trees with internal labelsA decomposition of \(\pi ^\text {init}\). \(H_{\mathcal {P}}\setminus \{1\}\). Each connected component corresponds to a distinct successor position of \(\pi ^\text {init}\)Back to article page