 about what I expected. And you've already mentioned it. There are those who think that you can just rip the name Denny off the stadium and replace it with Saban. You cannot do it. Legally, you cannot do it. And then on top of that, and you can explain why, you don't need to do that. Because Dr. Denny...