 Jacovides (2007b) argues for the leaner alternative. He maintains that for Locke, the explanatory entities are PQs, bodies, ideas, and minds. Because they constitute the facts that determine the truth or falsity of our assertions about SQs, we have no need of ideas that track their derivatives (Jacovides 2007b: 630). As he sees it, the doctrine that SQs are powers is not about what is in the world but Locke’s solution to a semantic problem: a way we can speak that makes assertions about SQs true and certain and forestalls the mistaken suggestions of the paronymous use of SQ terms (Jacovides 2007b: 641).