\begin{frame}
  \frametitle{Correspondence of Formulas and Frame Properties}
  
  We now know that the formula 
  \begin{talign}
    \all p \to p
  \end{talign} 
  is valid \emph{precisely} on the reflexive frames:
  \begin{talign}
    \F \models \all p \to p \quad\riff\quad \text{$\F$ is reflexive}
  \end{talign}\vspace{-2ex}
  \pause
  \begin{exampleblock}{}
  We say that the formula \;\;$\all p \to p$\;\; 
  \emph{corresponds} with the frame property \emph{reflexivity}.
  \end{exampleblock}
  \bigskip\pause

  In general:
  \begin{goal}{}
    A \emph{modal formula} $\phi$ 
    \aemph{corresponds} with a \emph{frame property} $E$ if:
    \begin{talign}
      \F \models \phi \quad\riff\quad  \text{$\F$ has property $E$}
    \end{talign}
  \end{goal}
\end{frame}