x^2-y^2<=-1