 in the wake of that. So they've had some outstanding double digits, 12 win teams twice. This is Oklahoma State, like the absolute highest peaks. And everybody seems very comfortable with him there. There's never really been any sort of market to pry him away.