Input (grade 13): Upon his death, the Senate declared him a public enemy (a de facto damnatio memoriae) and restored the original name to the city of Rome and its institutions.
Output (grade 11): On his death, the Senate declared him a public enemy and restored the original names to the city of Rome and its institutions.