just take all these civil service employees and and uh uh take some of those holidays away from them like Columbus Day President's Day
Civil service employees get way too many paid holidays and we need to take some of them back.