 And so it's not undemocratic to get rid of permanent bureaucrats, obviously. Permanent bureaucrats, by their nature, are anti-democratic. Whether you like democracy or not is a different question. But I wrote an article for a while back, I think we even talked about this, that reviewed a paper from the National Bureau of Economic Research. And the authors of that paper found that, A,