 The difference is key. We learn nothing about the world when we learn that “Tully is Cicero” is true—this proposition does not convey a fact about how things are, but rather about our own linguistic conventions of naming (System, VII: 110). The proposition is, in Mill’s terminology, merely verbal. Such propositions are key to understanding the uninformative nature of a priori propositions and a priori reasoning. Mill, quite rightly, does not make the claim that a priori propositions such as “every man is a living creature” are, like “Tully is Cicero”, assertions merely about our own conventions of naming. But he does argue that such propositions share the feature of conveying no genuine information about the world. For the connotation of “man”—the attributes it signals—includes the connotation of “living creature”. Someone who already knows the meaning of the term “man” is not told anything about how the world is when told that “every man is a living creature” (Kroon 2017: 214–6).