 The reason for this is that some of the opposition to (1) will stem from opposition to a purely mereological principle: Strong Supplementation. It says that if every part of x overlaps y, then x is a part of y. Those who deny this will be very likely to deny (1), but they might still be attracted to No Interpenetration. Let Lump1 be a lump of clay, and let Goliath be the statue that is ‘made out of’ Lump1. One might think that every part of Goliath overlaps Lump1 (and vice versa), and that Goliath's exact location is a part of (indeed, identical to) Lump1's exact location, but that Goliath is not a part of Lump1 (Lowe 2003). In that case one will reject (1). But one might still go on to say that ‘ghostly-interpenetration-without-part-sharing’ is impossible, and hence that No Interpenetration is true. After all, Goliath and Lump1 share parts, as do Goliath's top two-thirds and Lump1's bottom two-thirds, and so on.