“@TheRabbitHole84 The true number of people working for the Federal Government is much higher, as contractors outnumber official employees”