Each fragment that is excised from some source tree must obligatorily be adjoined back into that tree, at the point from which it was removed.
g generates the same derived trees as g, modulo our trivial tree transformation for the root and the gap nodes.