\overlays{2}{
\begin{slide}{Derivational Complexity}

  \begin{itemize}
  \item main focus: polynomial upper bounds
  \item methods: 
    \begin{itemize}
    \item upper triangular matrix interpretations
    \item match bounds
    \item arctic matrices
    \end{itemize}
  \end{itemize}

  more detailed output (degree of polynomial)
  requires more detailed scoring. 

  result: CAT $>$ TCT

\fromSlide{2}{
\emph{coming (?):} lower bounds (cf. loops),
more functions (exp, ack), certification
}

\end{slide}
}