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