By substituting all mother-definable node constants by their defining terms we can then produce from the original f-description the equivalent description in (16).
notice that for each acyclic f-structure F the maximal length of the σ in the defining terms is bounded by the depth of F. we see that a mother-definable constant can be eliminated in favor of a constant corresponding to a higher node and a sequence of attributes leading down through the f-structure.