 So let's hope that we can get together and whoever it is they end up nominating, we can keep them out of office. And like I said, I think if we could get Trump in office and he'd go through and just get rid of some of these departments altogether, the education one would be one of the first ones I would go after because they don't educate anyone. And since their creation in 1980, the scorers in the United States have all gone down, not up. So they're not doing a very good job.