 Given the necessity of identity, (4) is a counterpossible: as Hesperus is Phosphorus, its antecedent can only be true at impossible worlds. That’s false, supposedly, because even if Hesperus and Phosphorus had been distinct, Phosphorus would have remained self-identical. However, all accept that