Cross-possible-world identity of referents requires names to operate independently of contingent des...
This proposition has not been edited since the history system was added.