x2+y2<−1