x-y+3>0