Quantification in syntax