They may be employees somewhere - but not all employees of the state.
All Texas employees, it's not private workforce.
They may be employees somewhere - but not all employees of the state.