 Another thing to notice is that, independently of their philosophical motivations and formal limitations, atomistic mereologies admit of significant simplifications in the axioms. For instance, AEM can be simplified by replacing (P.5) and (P.7) with