$(\forall x)(\exists y)(x + y = 0)$

$(\exists x)(\forall y)(x + y = y)$

$(\forall x)(\exists y)(x < y)$

$(\forall x)(\forall y)(x + y = y + x)$