Text this: Quantifier elimination and cylindrical algebraic decomposition