Rigid designators pick out the same individual across all possible worlds by definition, regardless ...
This proposition has not been edited since the history system was added.