65/122
\begin{frame}
  \frametitle{The Same Frame, a Different Labelling}
  
  \exampleReflexive{}

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