The problem is that the team has a lot of guys to retain and there's a good individual argument for retaining perhaps each of them. But unless something changes philosophically to turn some of their games around that just gets them back to 2021 and our sub-.500 record, with all the roster spots taken. Add to that the oddity that they played some of their best ball with second- and third-stringers out there. So yeah, I guess something has to change, but damned if I know what. I guess there's a strong reason to hope that healthier pitching gives you better pitching, but benefiting from healthier hitting is a tougher sell.