In classical first-order logic, quantifiers can be shifted under certain conditions. For instance, if $x$ is not free in $Q$, then $\forall x (P(x) \implies Q) \iff (\exists x P(x) \implies Q)$. However, this equivalence does not fully hold in Intuitionistic Predicate Logic. Which of the following quantifier shifts is classically valid but NOT intuitionistically valid?