 Well, he left a significant amount. I mean, let's be clear here. He also made a lot of money with this extension. But if my numbers serve correct, he could have gotten a $113 million or $156.5 million. That's $113 million less than he would have gotten if he waited for another year. To your point, he can recoup that.