I really want to understand you here. You bring a ton of good data to this board, but what exactly is your criticism? I think we agree that with a healthy Leach and KJ, Clayton doesn't get meaningful playing time. That being the case, what's the downside of redshirting him? You might get a productive year out of him in the future. He's not taking valuable minutes from better players. And he's there on the bench in case of emergency. It seems like the best logical choice, but somehow you, a stats-driven logical guy, finds it bizarre. What should Coach have done in your mind?