\begin{frame}
  \frametitle{Correspondence Table}

  \begin{goal}{Correspondence Table}
    \vspace{-2ex}
    \begin{eqnarray*}
    \pause
    \text{\emph{Reflexive}}  && \all p \to p\\
    \pause
    \text{\emph{Symmetric}}  && p \to \all\some p  \\
    \pause
    \text{\emph{Transitive}}  && \pause \all p \to \all\all p \\
    \pause
    \text{\emph{Serial}}     && \pause \some \top \\
    \pause
    \text{\emph{Functional}} && \pause \all p \leftrightarrow \some p
    \end{eqnarray*}
  \end{goal}
  \medskip
  \pause

  \begin{block}{Correspondences are not unique}
  A few alternatives:
  \vspace{-1ex}
  \begin{eqnarray*}
  \text{\emph{Reflexive}}  && p \to \some p\\
  \text{\emph{Symmetric}}  && \some\all p \to p  \\
  \text{\emph{Transitive}} && \some\some p \to \some p \\
  \text{\emph{Serial}}     && \all p \to \some p 
  \end{eqnarray*}
  \end{block}
\end{frame}