 So he's entering, if there's no extension, he's entering free agency no matter what. And if he leaves, you are getting nothing back outside of a compensatory pick. That's about it. No first round picks, no multiple picks, no players coming back your way, which is what you should get by trading a top 10 quarterback, which Dak is. I mean, tail end, he's 9 or 10, but still top 10 guy. You are losing that for nothing. And...