 Your thoughts. You used to run that department. Absolutely. And I've actually suggested the same thing for several years now. The department does not have a reason to exist. It started in 1979, went as a payoff that Jimmy Carter made to the teachers unions for having endorsed him in 1976 for president.