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