“…The syntactic notion of name coordination we are invoking is not wholly original. Indeed, it can be seen as a restriction to proper names of what has been variously called 'strict coreference' (Fine 2007) 13 , 'grammatically determined coreference' (Fiengo and May 2006), 'explicit coreference' (Taylor 2015), and 'de jure codesignation' (Pryor 2017), and 'de jure coreference' (Pinillos 2011, Recanati 2012, 2016. All of these authors had a common goal in mind: characterizing that relation which holds between two representations when their co-reference is given for free, so to say.…”