 If he does pitch, it'll be one inning. I don't think it'll be as a starter. If I were a betting man, I would bet that he goes to the All-Star game but doesn't participate. And Chris Sale was replaced. They announced today he is not pitching, he is not going to the All-Star game. He was replaced. And the way that it worked out was really weird.