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