These operations do not change the variable tree; one can use this to show that t i has the same structure as ξ.
if we can find binarization terms, we can construct a binarization of r. Conversely, for any given binarization (ξ, h 1 , .