 I'm sure one of you all correct me if I'm wrong. And all they do is take money that's taken from taxpayers and redistribute it based on usually political ideology, not the pursuit of excellence in education. That's just crazy. It is crazy. I'm going to ask Siri. Hey Siri, how many people work for the Federal Department of Education? 4,400.