Use the fact that we can build
T
from a single root tree via a series of pairs of
and
operations.