Por lo tanto, los nombres son designadores rígidos, De acuerdo con Kripke.