\begin{frame}
  \frametitle{Examples of Modal (Non-)Equivalence}

  \begin{exampleblock}{}
    Are the following equivalences valid?
    \begin{talign}
      \mpause[0]{ \neg \some \phi &\;\;\equiv\;\;  \some \neg \phi  \quad\mbox{\DARKRED{?}} } \mpause{\text{ No}} \\  
      \mpause{ \some( \phi \wedge\psi) &\;\;\equiv\;\; \some \phi  \wedge \some \psi  \quad\mbox{\DARKRED{?}} } \mpause{\text{ No}} \\ 
      \mpause{ \some( \phi \vee\psi) &\;\;\equiv\;\; \some \phi  \vee \some\psi  \quad\mbox{\DARKRED{?}} } \mpause{\text{ Yes}}
    \end{talign}
  \end{exampleblock}
\end{frame}