Yes, definitely. This sort of issue is very hard to resolve adequately. There's no definition that always does everything we want. A while back I wrote an art

Yes, definitely. This sort of issue is very hard to resolve adequately. There's no definition that always does everything we want. A while back I wrote an article comparing each U.S. state's largest and second-largest cities. (https://blog.plover.com/misc/second-largest-cities.html https://blog.plover.com/misc/second-largest-cities.html) I made a perfectly reasonable choice of which definition to adopt, but it still had major peculiarities: the largest city in New Jersey was Trenton, not Newark, because in the data set I used, Newark was considered part of New York City.