 showed himself a little bit yesterday. Listen, I like Mike Gundy. I like his personality. I like the fact that he is a guy that is not homogenized, that does not always walk the company line, that'll say things freely. We don't have many coaches that do that kind of thing anymore. But this is one of those things you don't mess around. Listen, because of situations and circumstances like this, people die. And there are tragedies we see every single day.