If Texas were a country, its GNP would be the fifth largest of any country in the world.