!(A x 2x + y -z <= -3 -> Ex 2x + y - z == 3)