\begin{frame}[t]
  \frametitle{The Combination of $\,\formula{\forall}\,$ and $\,\formula{\slogimp}\,$}

  What does $\formula{\forallst{x}{(\logimp{\unpred{LL}{x}}{\unpred{C}{x}})}}$ mean?
  \pause
  Translating step by step:%
  \pause\smallskip

  \begin{itemize}
    \item for all \black{$x$}, if \black{$x$} has learned logic, then \black{$x$} is clever
    \pause
    \item every \black{$x$} who has learned logic is clever
    \pause
    \item everyone who has learned logic is clever
  \end{itemize}
  \pause\smallskip

  \begin{block}{\alert{Don't confuse} 
     $\formula{\forallst{x}{(\logimp{\unpred{LL}{x}}{\unpred{C}{x}})}}$
     \alert{with} 
     $\formula{\logimp{\forallst{x}{\unpred{LL}{x}}}{\forallst{x}{\unpred{C}{x}}}}$
  }
    \begin{malign}
      \mpause[1]{\formula{\forallst{x}{\,\unpred{LL}{x}}}} & & & 
      \mpause{\sentence{everybody has learned logic}}
      \\[0.25ex]
      \mpause{\formula{\forallst{x}{\,\unpred{C}{x}}}} & & & 
      \mpause{\sentence{everybody is clever}}
      \\[0.25ex]
      \mpause{\formula{\logimp{\forallst{x}{\,\unpred{LL}{x}}}{\forallst{x}{\,\unpred{C}{x}}}}} & & & 
      \mpause{\parbox{0.48\textwidth}{\forestgreen{if everybody has learned logic,\\ everybody is clever}}} 
    \end{malign}                                                        
  \end{block}
  \updatepause\bigskip

  \emph{Question:}
  How can we make precise that  
  $\formula{\forallst{x}{(\logimp{\unpred{LL}{x}}{\unpred{C}{x}})}}$
  and
  $\formula{\logimp{\forallst{x}{\,\unpred{LL}{x}}}{\forallst{x}{\,\unpred{C}{x}}}}$
  have a different meaning?
\end{frame}