!(Ax Ez -2x+3z <= 4 -> Ex Az 3z-2x>4)