 Randy, if you were a GM of a team who was not happy with the quarterback situation, would you be calling Jerry Jones and saying, I'm willing to pay Dak Prescott the market value? It seems like you won't be. What's the cost in this trade? Or was that a move that you would be interested in making? Because it seems like for whatever reason, Jerry has been reticent to cut the check.