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