An identity statement flanked on both sides with proper names is necessarily true, Saul Kripke thinks, if it's true at all. Thus, contrary to the received view – or at least what was, prior to Kripke, the received view – a statement like(A) Hesperus is Phosphorus.