Before revision: The City of London could arguably be considered the "city proper" of London but has a population of only about 9400.
After revision: The City of London could arguably be considered the "city proper" of London but has a population of only about