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