Quantification Theory