Talk:Existential theory of the reals