 Likewise, note that the pattern in Figure 2, middle, will qualify as a model of (P.8) unless Supplementation is assumed, though again such a pattern does not quite correspond to what philosophers ordinarily have in mind when they talk about gunk. It is indeed an interesting question whether Supplementation (or perhaps Quasi-supplementation, as suggested by Gilmore 2016) is in some sense presupposed by the ordinary concept of gunk. To the extent that it is, however, then again one may want to be explicit, in which case the relevant axiomatization may be simplified. For instance, ÃMM can be simplified by merging (P.4) and (P.8) into a single axiom: