 Concerning atomless mereologies, one more remark is in order. For just as (P.7) is too weak to rule out unpleasant atomistic models, so too the formulation of (P.8) may be found too weak to capture the intended idea of a gunky world. For one thing, as it stands (P.8) presupposes Antisymmetry. Absent (P.3), the symmetric two-element pattern in Figure 3, left, would qualify as atomless. To rule out such models independently of (P.3), one should understand (P.8) in terms of the stronger notion of ‘PP’ given in (20′), i.e., 