And I guess we need to define “major city,” but Columbus is the largest city in Ohio (bigger than Cleveland and Cinci, both major league cities) and is the state capital, and Austin has a million or so people and also is a state capital. Georgia Tech has been good, they are in Atlanta. Houston is top 25, as is BC.