This is because is essentially a big disjunction , and disjunction is commutative and associative. In contrast,
because is a big conjunction, and conjunction and disjunction distribute over each other in a more complicated way.
provided y is not free in A. Using this fact, you can pull both existential quantifiers up front.