 On the first understanding, the indeterminacy is merely de dicto: perhaps ‘a’ or ‘b’ are vague terms, or perhaps ‘part’ is a vague predicate, but there is no reason to suppose that such vagueness is due to objective deficiencies in the underlying reality. If so, then there is no reason to think that it should affect the apparatus of mereology either, at least insofar as the theory is meant to capture some structural features of the world regardless of how we talk about it. For example, the statement