1: \begin{definition}

2: \label{reduction}

3: For each special $K(\Ga)$ we associate a cube complex, which is called the \textit{reduction} of $K(\Ga)$ and is denoted by $S_K(\Ga)$, as follows. Let $f:X(\Ga)^{(0)}\to Y(\Ga)$ be the bijection between $X(\Ga)^{(0)}$ and rank 0 vertices of $Y(\Ga)$ in Definition \ref{construction}. Recall that we have identified $X(\Ga)^{(0)}$ with $G(\Ga)$, thus $f$ induces an action $H\acts G(\Ga)$ by flat-preserving bijections. Lemma \ref{orientation and specialness} and Theorem \ref{conjugate to left translation} imply that up to pre-composing $f$ with a flat-preserving bijection, we can assume $H\acts G(\Ga)$ is an action by left translations. Using the identification $X(\Ga)^{(0)}\cong G(\Ga)$ again, we have an isometric action $H\acts X(\Ga)$. Define $S_K(\Ga)=X(\Ga)/H$. Note that $S_K(\Ga)$ is a finite sheet cover of the Salvetti complex $S(\Ga)$.

4: \end{definition}

5: