Proposed $31 bil. Texas Budget Cuts

The Star Telegram has an article on the proposed Texas budget cuts in the 2012-2013 biennium.
Among notes of interest:

• With 646,815 employees, Texas public school system would be the fifth largest employer in the world
• Texas has a labor force of 12.2 workers
• DFW (with a population of 6.8 million and a Texas average of 122 government workers per 10,000 population), has around 557,000 state and government workers

The complete article is here.