Kripke's modal realism about names holds that names are rigid designators tracking individuals throu...