Quantifier elimination is a concept of simplification used in mathematical logic, model theory, and theoretical computer science. Informally, a quantified statement " such that ..." can be viewed as a question "When is there an such that ...?", and the statement without quantifiers can be viewed as the answer to that question.