y>= -2, x >= 4