\begin{frame}
  \frametitle{Exercise: For All \& Implication}
  
  \structureExercisesResults
  \bigskip
  
  \begin{code}{\textwidth}{Who got the best result for homework 1?}
     Construct the SQL query! 
  \end{code}
  \vspace{-1ex}
  \pause
  
  \emph{In natural language:}
  the students \sql{S} that have a result \sql{X} for homework 1 
  such that for all result \sql{Y} for homework 1 it holds that \sql{Y.points} is less or equal to \sql{X.points}.
  \pause\bigskip
  
  \emph{In predicate logic (tuple relational calculus):}
  \logicquerya
\end{frame}