I'm following along an example that takes a formula and converts it into Skolem Normal Form.
In one of the steps, the formula goes $\text{from: }\forall x~P(x) ~\wedge~ \exists x~\forall y~\exists z~\neg Q(x,y,z)\\\quad\text{to: }\exists x~\forall y~\exists z~(P(x)\wedge\neg Q(x,y,z))$
Why did the existential quantifier take preference over the universal quantifier? Aren't they two different scopes and then ∃x,x be replaced by another variable?