Names can rigidly designate without actual instantiation—Kripke allows for rigid designation of non-...
This proposition has not been edited since the history system was added.