Title: Modern Quantification Theory