 From 1997 to 2019, around 50% of federal bureaucrats were Democrats, and that's compared to 32% who are Republicans. And so you've got an 18% independent libertarian or left-wing person who doesn't register. And so they make up a large amount, and that increased over time. The percentage of Democrats increased over time. So we've had an increasingly left-trending, permanent bureaucracy increase.