\begin{frame}
\frametitle{Completeness and Correctness}
\begin{goal}{}
\emph{Completeness} and \emph{correctness} are fundamental concepts.\pause\bigskip
They are important whenever a semantical notion is modelled
using a formal rule system.
\end{goal}
\end{frame}