Text: Although it was later enclosed within the Theodosian Walls, the name stuck.
Entailment: The name endured, even though the Theodosian Walls were built around it later.
Contradiction: The old name was forgotten when it was later enclosed by the Theodosian Walls.