 Well, I got cranked up under Biden. So you had Thomas Brady. He was the CEO of the Pentagon's K-12 public schools. And we've done some research on him, Lars, and it's a great question. So you know where he comes out of? He's the former COO, the chief operating officer for the Fairfax County Public Schools back in Virginia. That hotbed of that radical district.