 What about ÃGEM, the result of adding the Atomlessness axiom (P.8)? Obviously the above limitation does not apply, and the Tarski model mentioned in Section 3.4 will suffice to establish consistency. However, note that every GEM model—hence every ÃGEM model—is necessarily bound at the top, owing to the existence of the universal entity U. This is not by itself problematic: while the existence of U is the dual the Bottom axiom, a top jumbo of which everything is part has none of the formal and philosophical oddities of a bottom atom that is part of everything (though see Section 4.5 for qualifications). Yet a philosopher who believes in infinite divisibility, or at least in its possibility, might feel the same about infinite composability. Just as everything could be made of atomless gunk that divides forever into smaller and smaller parts, everything might be mereological “junk”—as Schaffer (2010: 64) calls it—that composes forever into greater and greater wholes. (One philosopher who held such a view is, again, Whitehead, whose mereology of events includes both the Atomlessness principle and its upward dual, i.e.: