\section{Traversal phase}
-For each patch $C \in \allpatches$ in topological order by $\hasdep$,
+For each patch $\pc \in \allpatches$ in topological order by $\hasdep$,
lowest first:
\begin{enumerate}
\end{enumerate}
+
+
\section{Planning phase}
The results of the planning phase consist of: