These operations do not change the variable tree; one can use this to show that t i has the same structure as ξ.
by evaluating these trees in the algebra, the symbols con 3 and con 4 are interpreted as concatenation, and we see that the first rule encodes the SCFG rule A → bCD, DabC .