$\forall x\forall yP\left(x,y\right)\iff \forall y\forall xP\left(x,y\right)$