 Now, the Nuggets, I believe, are avoiding that right now, aren't they? By moving on from Reggie Jackson and KCP, that's over $20 million. But it's not as clear-cut as just saying, well, KCP is gone. That's off the books. It's $15.4 million. It's really like five or six, which I don't understand. But...