x^2-y^2>=0