 Look, Paul schemes regularly through 100 pitches or more at LSU in 2023. The Pirates have been very cautious with him. He never threw more than 75 pitches in any of his AAA outings. His season high is 170. He had 99 the other night when he had the no-hitter going. And I think fans overwhelmingly want him to stay in the game. But Derek Shelton, who's worried about his job, the manager of the Pirates, you get the picture. This isn't the first time this has happened.