 So the Lions took care of Jared Goff. I'm glad you mentioned Tua. They're obviously observing that in Miami. What happens with Tua and the Dolphins? Are they going to be able to reach a happy medium? Because I don't feel like the Dolphins are ready to give Tua $53 million.