Texas has the 8th largest economy in the world.