 I mean, 16 teams have paid their quarterback. I'm looking at the QB contracts right now. Exactly half the league has paid their quarterback. And now we're talking about are the Dolphins going to join that group or are they going to be willing to roll the dice and start over and go get yourself a Michael Penix, go get yourself a J.J. McCarthy, go get yourself a Bo Nix or one of those kind of quarterbacks and restart the process.