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