 Frege (1980a, 1980b) explicitly analyzed quantification in terms of predication. For Frege, first-level predicates express concepts under which objects fall. A quantifier expresses a second-level concept under which first-level concepts fall. In particular, he proposed to take a sentence like (3) below to predicate of a first-level concept that it has instances: