 According to Conditional Reflexivity, exact locations are exactly located at themselves. (See also Donnelly (2004: 158), who presents a system in which Conditional Reflexivity is a theorem, though she replaces the location predicate ‘L’ with a primitive function symbol ‘r’ for ‘the exact location of’.) To appreciate the significance of Conditional Reflexivity, suppose that Obama is exactly located at region r. Together with Conditional Reflexivity, this entails that r is exactly located at itself. This conflicts with a purely locational principle endorsed by Simons (2004b: 345):