\begin{frame}
   \frametitle{Truth of Diamonds: $\some \phi$}
  
  \begin{exampleblock}{}
    \exampleA

    \begin{itemize}  
    \pause
    \item  $w_1\fc  \some q$ 
           \tabto{3.8cm} since $R(w_1,w_2)$ and $w_2\fc q$
    \pause
    \item  $w_1 \fc \some p$
           \tabto{3.8cm} since $R(w_1,w_3)$ and $w_3\fc p$
    \pause
    \item  $w_1 \mpause[1]{\fc} \some p \wedge \some q$
           \tabto{3.8cm}\mpause[1]{since $\;w_1 \fc \some p$\; en \;$w_1\fc \some q$}
    \pause\pause
    \item  $w_1 \mpause[1]{\notfc} \some(p\wedge q)$
           \tabto{3.8cm}\mpause[1]{since $\;\neg \myex{w}{\big(R(w_1,w) \wedge w \fc p \wedge q\big)}$}
    \end{itemize}    
  \end{exampleblock}
\end{frame}