Quantifier elimination is a concept of simplification used in mathematical logic, model theory, and theoretical computer science. Wikipedia