\begin{frame}
  \frametitle{All, Any, Some}
  
  \begin{goal}{}
    SQL allows to compare \emph{single value} with all values computed by a \emph{single-column} subquery. Such comparisons may be 
    \begin{itemize}
      \item \emph{universally} (\sql{all}), or
      \item \emph{existentially} (\sql{any}, or equivalently \sql{some}) 
    \end{itemize}
    quantified.
  \end{goal}
  \pause
  \smallskip
  
  \begin{code}{\textwidth}{Who got the best result for homework 1?}
    {\small
    \BUseVerbatim{query}
    }
  \end{code}
  
  The subquery must yield a \alert{single result column}.
\end{frame}