y < - x - 1 and y ≥ 2x + 2