\begin{frame}
  \begin{block}{} \begin{center}{\Large Equational Reasoning and Completion}\end{center} \end{block}
\end{frame}