 In the spirit of van Inwagen (1981), one might take the fundamental location relation to be lying-within, where this holds only between a simple spacetime point, on the one hand, and a located entity, on the other. One might then define exact location in terms of it, as follows: ‘x is exactly located at y’ means the same as ‘for any z, if z is simple, then: z lies within x if and only if z is a part of y’. This has consequences similar to those of (D10). It has the additional disadvantage that, in the context of gunky spacetime, it yields the result that everything is exactly located everywhere.