\begin{frame}
\frametitle{Exercise: For All \& Implication}
We translate the formula into an SQL query:
\logicqueryb
\begin{code}{\textwidth}{Who got the best result for homework 1?}
\small
\BUseVerbatim{query}
\end{code}
\end{frame}
\theme{Nested Subqueries}