1: \begin{definition}[Conditioning Digraph]

2: Consider an empire $\mc E$ defined in a graph $H$, an index $i\in [\sigma_0]$, and a set of chosen parts $\mc Q\subseteq \mc P_i(\mc E)$, and a set of relevant parts $\mc R\subseteq \mc P_i(\mc E)$ with $\mc Q\subseteq \mc R$. For each part $P\in \mc R$, pick an arbitrary representative vertex $v_P\in P$. The digraph $I = \CG(\mc E,i,\mc Q,\mc R)$, called a \emph{temporary conditioning digraph}, is the digraph with vertex set $V(I) = \mc R$ and a directed edge $(P,Q)\in E(I)$ if and only if all of the following conditions hold, where $D\gets \PreprocANN(H,\{v_P\}_{P\in \mc Q})$:

3: 

4: \begin{itemize}

5: \item (Permanent condition) There exists some descendant $Q'\in \cup_{j\le i} \mc P_j(\mc E)$ of $Q$ for which $P$ intersects $S_{Q'}$.

6: \item (Temporary condition) $\texttt{JLReff}_H(v_Q,\ANN_D(v_P)) \le 8\gammatemp \gammaann (\texttt{JLReff}_H(v_P,\ANN_D(v_P)) + \R{i})$ where $\texttt{JLReff}_H(a,b)$ for $a,b\in V(H)$ denotes a multiplicative 2-approximation to $\texttt{Reff}_H(a,b)$ given using Theorem \ref{thm:jl}.

7: \end{itemize}

8: 

9: The digraph $J = \PCG(\mc E,i,\mc R)$, called a \emph{permanent conditioning digraph}, has vertex set $V(J) = \mc R$ and a directed edge $(P,Q)\in E(I)$ if and only if the ``Permanent Condition'' holds for the $(P,Q)$ pair.

10: \end{definition}

11: