@lopsigon the distinction between their referents is admittedly unrelated to the distinction between their names