mnli premise: 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 hypothesis: Why should government employees get Columbus Day off work when all the rest of us don't?