1: \begin{definition}[Reversible extension]

2: Let $F:\mathcal{X}_{\Sigma,\Delta,\pi}\rightarrow \mathcal{X}_{\Sigma,\Delta,\pi}$ be an RCGD. We say that $F':\overline{\mathcal{X}}_{\Sigma',\Delta,\pi'}\rightarrow\overline{\mathcal{X}}_{\Sigma',\Delta,\pi'}$ is a {\em reversible extension} of $F$ if and only if $F'$ is an RCGD, and:

3: \begin{itemize}

4: \item[$\bullet$] For all $X \in \mathcal{X}_{\Sigma\times\{0\},\pi\times\{0\}}$, $F'(X)=F(X)$.

5: \item[$\bullet$] For all $X \in \mathcal{X}_{\Sigma\times\{1\},\pi\times\{1\},}$, $F'(X)=X$.

6: \item[$\bullet$] For all $|V(X)|\leq p$ and $X \notin \mathcal{X}_{\Sigma\times\{0\},\pi\times\{0\}}$, $F'(X)=X$, where $p$ is that of Theorem \ref{th:preserv}.

7: \end{itemize}

8: \end{definition}

9: