  Marcus proved that in her system identity was necessary if true, and the same for distinctness. She argued forcefully in subsequent works, primarily (Marcus 1961), that morning star/evening star problems were nonetheless avoided. Names were understood as tags. They might have their designation specified through an initial use of a definite description, or by some other means, but otherwise names had no meaning, only a designation. Thus they did not behave like definite descriptions, which were more than mere tags. Well, the object tagged by “morning star ” and that tagged by “evening star ” are the same, and identity between objects is never contingent.