1: \begin{definition}[Maps $\phi,\psi$]\label{def:maps}

2: 	Let $C=\{B_1,\ldots,B_{s_C}\}$ be a node in the subdivision tree $\mathcal{T}_{\mathcal{B}}$, and let $B:=B_j$ be an arbitrary square in $C$. Then, we define maps $\phi$ and $\psi$ as follows:

3: 	\begin{itemize}

4: 		\item[($\phi$)] Starting at $C$, we descend in the subdivision tree as follows: If the current node $D$ is a non-terminal special node, we go to the child $E$ that minimizes $|\MMM(E^+)|$. If $D$ is terminal, we stop. If $D$ is non-special, then there is a unique child of $D$ to proceed with. Proceeding this way, the number $|\MMM(D^+)|$ is at least halved in each non-terminal special node $D$, except for the base node. Hence, since any sequence of consecutive non-special nodes has length at most $s_{\max}$, it follows that after at most $s_{\max}\cdot(\log\lceil(|\MMM(C^+)|)\rceil+1)\le s_{\max}\cdot(\log n+2)$ many steps we reach a terminal node $F$. We define $\phi(C)$ to be an arbitrary root contained in $\MMM(F^+)$.

5: 		\item[($\psi$)] According to part (d) of Theorem~\ref{thm:termination}, the enlarged square $2B$ contains at least one root $\xi$. Now, consider the unique maximal subpath $P'_{\xi}=C_1,C_2,\ldots,C_s$ of the canonical path $P_{\xi}$ that starts at $C_1:=C$. If $s\le\lceil\log (18n)\rceil$, we define $\psi(B):=\xi$.

6: 		      Otherwise, consider the component $C':=C_{\lceil\log(18n)\rceil}$ and define $\psi(B):=\phi(C')$.

7: 	\end{itemize}

8: \end{definition}

9: