 The Doctrine of Arbitrary Undetached Parts (DAUP): For every material object m, time t, and regions r1 and r2, if m occupies r1 at t and r2 is a sub-region of r1, then there is a part of m that occupies r2 at t. (cf. van Inwagen 1981, p. 123) 