Structure sharing

• Some <fs> are not trees but DAGs – nodes may have multiple parents

• We represent this by labelling each re-entrancy point, using a <var> element

• All <var>s with the same label are held to be the same node: any contents found are to be unified