 There is, in addition, another, more important sense in which (P.8) may seem too week. After all, infinite divisibility is loose talk. Given (P.8) (and also given (P.8′)), gunk may have denumerably many, possibly continuum-many parts; but can it have more? Is there an upper bound on the cardinality on the number of pieces of gunk? Should it be allowed that for every cardinal number there may be more than that many pieces of gunk? (P.8) is silent on these questions. Yet these are certainly aspects of atomless mereology that deserve scrutiny. It may even be thought that the world is not mere gunk but “hypergunk”, as Nolan (2004: 305) calls it—gunk such that, for any set of its parts, there is a set of strictly greater cardinality containing only its parts. It is not known whether such a theory is consistent (though Nolan conjectured that a model can be constructed using the resources of standard set theory with Choice and urelements together with some inaccessible cardinal axioms), and even if it were, some philosophers would presumably be inclined to regard hypergunk as a mere logical possibility (Hazen 2004). Nonetheless the question is indicative of the sort of leeway that (P.8) leaves, and that one might want to regiment.