Notation
| Pt | desired distribution on trees |
| z | vector of variables |
| Z | random vector over z |
| τ(z) | tree corresponding to setting of z |
| Z[t] | subset of random variables that occur in tree t |
| ζ(t) | setting of variables in Z[t] |
| Z[¬t] | subset of random variables that do not occur in t |
| Pt | desired distribution on trees |
| z | vector of variables |
| Z | random vector over z |
| τ(z) | tree corresponding to setting of z |
| Z[t] | subset of random variables that occur in tree t |
| ζ(t) | setting of variables in Z[t] |
| Z[¬t] | subset of random variables that do not occur in t |