$\mathrm{ForAll}\left[x\mathrm{ForAll}\left[yP\left(x,y\right)\iff \mathrm{ForAll}\left[y\mathrm{ForAll}\left[xP\left(x,y\right)\right]\right]\right]\right]$