 And we talk about him retiring here at the end of July, but in reality, he's just been on contract for the last 10, 11 years now in Stillwater OSU. He actually retired back, like I said, about a decade ago. But the folks, the dean at that particular time, I'm trying to remember which dean that was, but they were smart enough to say, hey, we don't want to lose Kim Anderson. And so they said, let's cut a deal.