"The city of Pittsburgh,"