Kripke's rigid designators framework shows that origin facts determine identity across possible worl...
This proposition has not been edited since the history system was added.