Before revision: The existential theory of the reals (ETR) consists of existentially quantified boolean formulas over equalities and inequalities of real-valued polynomials.
After revision: The existential theory of the reals (ETR) consists of existentially quantified Boolean formulas over equalities and inequalities of real-valued polynomials.