E z. A w. E x. E y. 3x + w < 2 && 1 < 2x - w + z || z < 2y && z > y
