 which asserts, for any non-empty set of entities, the existence of a sumi composed exactly of all the atoms that compose those entities. Indeed, GEM also provides the resources to overcome the limits of the Atomicity axiom (P.7) discussed in Section 3.4. For, on the one hand, the infinitely descending chain depicted in Figure 6 is not a model of AGEM, since it is missing all sorts of sums. On the other, in GEM one can actually strenghten (P.7) in such a way as to require explicitly that everything be made entirely atoms, as in