 one of the best superintendents I think men are ever had. I mean, just did a phenomenal job, especially when we were a little bit in the hole, 20 million. But I got to talk to Paul a few times, and he told me a couple of the off-the-record stories. And those were the absolute best, but absolutely just pulling for him to make it a phenomenal award.