Do you remember when we used to be the third-largest city in Oklahoma? Now we are the sixth.