plot y> -1/2*x+1