\begin{frame}
  \frametitle{A Kripke Model on a Reflexive Frame}
  
  \exampleReflexive{\lab{p}}
  \pause 

  \begin{center}
  \begin{minipage}{.4\textwidth}
    $\M = \langle W, R,L \rangle$
    \begin{itemize}
      \mpause[1]{\item $\M \;\mpause{\models}\; \all p \to p$}
      \mpause[5]{\item $\M \;\mpause{\models}\; \all\some p$}
    \end{itemize}  
  \end{minipage}%
  \begin{minipage}{.3\textwidth}
    $\F = \langle W, R \rangle$
    \begin{itemize}
      \mpause[3]{\item $\F \;\mpause{\models}\; \all p \to p$}
      \mpause[7]{\item $\F \;\mpause{\not\models}\; \all\some p$}
    \end{itemize}  
  \end{minipage}
  \end{center}
\end{frame}