Was browsing employment data this AM. I was surprised at how many Govt workers were local vs state, vs federal. Interesting given the proportion of our taxes is the reverse.