Kripke's modal arguments show that proper names are rigid designators tracking objects across possib...