Before revision: Range of quantification Every quantification involves one specific variable and a domain of discourse or range of quantification of that variable.
After revision: Quantifier eliminationRange of quantification Every quantification involves one specific variable and a domain of discourse or range of quantification of that variable.