Alex Blum ABSTRACT: We show, that given two fundamental theses of Kripke, no statement of the form ‘‘a=b’ is necessarily true’, is true, if ‘a’ and ‘b’ are distinct rigid designators. Download PDF