As long as P z (τ(Z) = t) = P t (t) for all trees t, our algorithm will generate trees from the desired distribution.
for any tree t the probability P z (Z[t] = ζ(t)) is fixed to P t (t), but any distribution over the remaining variables not contained in t will still yield the desired distribution over trees.