 been eligible for a five-year $346 million extension. So instead, he took the three-year $166 million extension. You can do the math on that. That is half of what he could have gotten, although average annual value, you could say, well, it's not that big a drop-off. But that extension would have been available starting in 2025. But instead, he'll somehow have to make ends meet with $166 million. Nevertheless...