\item In the context of predicate logic: \begin{enumerate} \item What is the scope of a quantifier? \item What is the difference between \emph{free} and \emph{bound} variables? \end{enumerate} Given an example that shows the difference.