 As we noted in  Section 2,  if one defines ‘x is exactly located at y’ as ‘x is weakly located at all and only those entities that overlap y’—as Parsons (2007) claims that we are free to do—then one can argue as follows: