53/116
\begin{frame}
  \frametitle{Exam Exercise}

  \begin{alertblock}{}
    Indicate by arrows which variable is bound by which quantifier:
    \begin{itemize}
    \medskip
      \item $\myex{x}{(\myall{y}{R(x,y)} \to R(y,x))}$
    \medskip
      \item $\myex{x}{\myall{y}{(R(x,y) \to \myex{x}{R(y,x)} \to P(x))}}$
    \medskip
    \end{itemize}
  \end{alertblock}
\end{frame}