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