, q n }, because the edges in in D (v) and out D (v) are those whose targets and sources, respectively, are the leaves of T v in D T .
the restriction of ρ to E D is a run of M on D. This argument yields the following theorem.