I want to know the answer to the following question:
What do people call the leader of Mexico City?
All the background I'm provided with is that "Therefore, it was the president, representing the federation, who used to designate the head of government of the Federal District, a position which is sometimes presented outside Mexico as the "Mayor" of Mexico City.[citation needed]". Is that enough to answer the question?
Answer: yes