1: \begin{definition}

2: Let $ \omega $ be a primitive substitution rule on a set of prototiles $ \PP $, with a recurrent pair $ (G,S) $ or quasi-dual trees. For each $p \in \PP$, we will refer to a geometric graph $\mathfrak{F}_p$, as in the statement of Theorem \ref{fractaltree}, as a \emph{fractal tree} on $T_p$.

3: \end{definition}

4: