 Aristotle’s logic focused on quantificational propositions; and as we shall see, this was prescient. But on his view, propositions like the conclusion of (8) still exemplify a subject-predicate structure that is shared by at least many of the sentences we used to express propositions. And one can easily formulate the schema ‘every S is P, and n is S; so n is P’, where the new lower-case variable is intended to range over proposition-parts of the sort indicated by names. (On some views, discussed below, a name like ‘Vega’ is a complex quantificational expression; though unsurprisingly, such views are tendentious.)