Title: Quantifier Elimination and Cylindrical Algebraic Decomposition