y < -2, x <= 1, x+y+1 >= -1