[nobodyandproud]

I think we should first agree on what “normal” means.

I personally view our IRS head count as being at historical lows by raw headcount; and even lower by population size if we look at the last 40 years (would love data that goes back further).