\begin{frame} \frametitle{Worlds without Outgoing Arrows} \begin{exampleblock}{} \exampleA \bigskip Note that $w_2$ has no outgoing arrows! \pause \bigskip What can we say about truth of $\some \phi$ and $\all \phi$ in $w_2$? \begin{itemize} \smallskip \item $w_2 \mpause[1]{\notfc} \some\phi$\\ \mpause[3]{\hint{$\some\phi$ never holds in worlds without outgoing arrows}} \smallskip \item $w_2 \mpause[2]{\fc} \all\phi$\\ \mpause[4]{\hint{$\all\phi$ always holds in worlds without outgoing arrows}} \smallskip \end{itemize} \pause\pause\pause\pause\pause This holds for whatever the formula $\phi$ is! \end{exampleblock} \end{frame}