y >=x+1 and y+x<=-1