74/158
\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}