Quantification theory