(-2>=x,x<=0)=(x<=0)