 So they're not going to be in it next year. At best, they'll be wildcard contenders the year after. So now Crochet's into his fifth season. So now you do have to start thinking about, uh-oh, how much is it going to cost to keep him? Can we get a contract extension done with him? So I would stay open-minded. I would ask a very high price for him. And if another team wants to give you three prospects, two of which are their top prospects,