 Actually MM is now redundant, as Supplementation turns out to entail Antisymmetry so long as parthood is transitive and reflexive: if x and y were proper parts of each other, contrary to (P.3), then every z that is part of one would also be part of—hence overlap—the other, contrary to (P.4). For ease of reference, we shall continue to treat (P.3) as an axiom. But the entailment is worth emphasizing, for it explains why Supplementation tends to be explicitly rejected by those who do not endorse Antisymmetry, over and above the more classical examples mentioned above. For instance, whoever thinks that a statue and the corresponding lump of clay are part of each other will find Supplementation unreasonable: after all, such parts are coextensive; why should we expect anything to be left over when, say, the clay is “subtracted” from the statue? (Donnelly 2011: 230). Indeed, Supplementation has recently run into trouble also independently of its link with Antisymmetry, especially in the context of time-travel and multilocation scenarios such as those already mentioned in connection with each of (P.1)–(P.3) (see Effingham and Robson 2007, Gilmore 2007, Eagle 2010, Kleinschmidt 2011, Daniels 2014). As a result, a question that is gaining increasing attention is whether there are any ways of capturing the supplementation intuition that are strong enough to rule out the models of Figure 2 and yet sufficiently weaker than (P.4) to be acceptable to those who do not endorse some M-axiom or other—be it Antisymmetry, Transitivity, or Reflexivity.