 What \(is\) relevant for present purposes is whether there is some form of “super-plural” quantification that stands to ordinary plural quantification as ordinary plural quantification stands to singular quantification. If so, let’s call this second-level plural quantification. More generally, we may attempt to introduce plural quantification of any finite level. This would result in a theory which for technical purposes is just like a simple type theory (Hazen 1997: 247; Linnebo 2003: sect. IV; Rayo 2006).