3/87
\begin{frame}
  \begin{block}{} \begin{center}{\Large Infinitary Rewriting}\end{center} \end{block}
\end{frame}