 But I frankly, I'm in the boat of where the Dolphins' front office is right now. I think if there's a way to make a deal at $45 million, I make it. If not, he can play for what his tag, what the option year pays him, which is a lot less, and then we see where we are a year from now.