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 should really be getting Flag Day off in June, too, I think.