. "That union represents about 20 district employees, including principals and some central office administrators." . . .