$∀ x ∀ y P ( x , y ) ⇔ ∀ y ∀ x P ( x , y )$