 Finally, it is worth recalling that the assumption of atomism generally allows for significant simplifications in the axiomatics of mereology. For instance, we have already seen that AEM can be simplified by subsuming (P.5) and (P.7) under a single Atomistic Supplementation principle, (P.5′). Likewise, it is easy to see that GEM is compatible with the assumption of Atomicity (just consider the one-element model), and the resulting theory has some attractive features. In particular, it turns out that AGEM can be simplified by replacing any of the Unrestricted Sum postulates in (P.15i) with the more perspicuous