I want to know the answer to the following question:
Where does Miami rank in population among US cities?
All the background I'm provided with is that "Miami is the 42nd-most populous city in the United States.". Is that enough to answer the question?
Answer: yes