\begin{frame}
   \frametitle{Truth of Boxes: $\all \phi$ }

  \begin{exampleblock}{}
    \exampleA
  
    \begin{itemize}
    \pause
    \item  $w_1 \notfc  \all q$
           \tabto{4cm} since $R(w_1,w_3)$ and $w_3 \notfc q$
    \item  $w_1 \not \fc \all p$
           \tabto{4cm} since $R(w_1,w_2)$ and $w_2 \not \fc p$
    \item  $w_3 \fc \all q$
    \pause
    \item  $w_1 \mpause[1]{\fc} \all(p\vee q)$
    \pause\pause
    \item  $w_3 \mpause[1]{\notfc} \all (q \wedge p)$
    \pause\pause
    \item  $w_3 \mpause[1]{\fc} \all q \wedge p$
    \pause\pause
    \item  $w_1 \mpause[1]{\fc} p \wedge \some p \wedge \neg \all p$
    \end{itemize}
  \end{exampleblock}
\end{frame}