∀ x ∀ y P ( x , y ) ⇔ ∀ y ∀ x P ( x , y ) \forall x \, \forall y \, P(x,y) \Leftrightarrow \forall y \, \forall x \, P(x,y)