 Supersubstantivalism+ entails No Interpenetration. Take any objects x and y in any possible world, and suppose that they have exact locations, r1 and r2 respectively, that overlap. Then, given Supersubstantivalism+, x=r1 and y=r2, hence x and y overlap.