 Together with Conditional Reflexivity, (DR) entails that that if x is exactly located at y, then y is exactly located at itself and hence is a region. But the (DR) + Conditional Reflexivity package also allows for cases in which an entity r counts as a region even though nothing but r is exactly located at r.