The combination of Dependent Reflexivity (DR) and Conditional Reflexivity permits cases where a region is self-located without any distinct entity being located at it
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.