 This gives us an argument for (2), the version of No Interpenetration restricted to material objects. (However, (2) conflicts with the possibility of Sanford's interpenetrating blocks, so the argument will be controversial.) But the argument does not give us an argument for No Interpenetration. For it wouldn't follow that it is impossible for there to be disjoint entities of any kind to have overlapping exact locations. Supersubstantivalism, as stated above, leaves open the possibility that there are universals or tropes, e.g., that are exactly located at regions but not identical to them. Hence it leaves open the possibility that disjoint entities that are not material objects might have overlapping exact locations.