Modern Quantification Theory