 Those are two major flags that if I was the Dolphins, I couldn't get around. I think we're in an interesting situation when it comes to whether or not they pay Tua because I think they wanted to pay Tua somewhere around like $40, $45 million a year. I think they wanted to pay him like he was Kirk Cousins. I think they maybe wanted to pay him like he was one of those better than average quarterbacks but also one of those quarterbacks that you're probably not winning a Super Bowl with.