\begin{frame}
  \frametitle{Transfinite Reductions Visualized}
  
  \begin{center}
    \includegraphics[width=.9\textwidth]{../graphics/cardioblue}
  \end{center}
  
  The blue lines indicate the depth of the activity/rewrite steps.
  \bigskip
  
  The activity tends to infinity when approaching limit ordinals.
\end{frame}