-y <= x and x