y<0 and y>x^2-x