\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}