-y(abs(y)) < -y(abs(-y))