Input (grade 7): After independence, the city's name was changed to Maputo.
Output (grade 8): The original name was Lourenço Marques, but it was changed after independence.