text: It was, as I have already said, of old called the Citadel; but afterwards got the name of Antonia, when Antony was [lord of the East], just as the other cities, Sebaste and Agrippias, had their names changed, and these given them from Sebastus and Agrippa.