Well, it's a nice fantasy, but first line of story says, "of 3.5 million people."
They may be employees somewhere - but not all employees of the state.
They may be employees somewhere - but not all employees of the state.
All Texas employees, it's not private workforce.