x^2 - y^2 ≤ 1