Quantification is the way out