(x*x+y*y=1) AND (xy=0)