Quantification theory. (2019)