-\begin{frame}{Where we left}
- \begin{itemize}
- \item actually implementing deferral tracking
- \item deciding when some deferral can be considered ``finished''
- \item \dots
- \item finding ``right'' heuristic for when to try and close the tableaux
- \item fixing all the bugs
- \end{itemize}
-\end{frame}
-