 And he finished today with seven innings pitched, okay? He struck out 11 guys on 99 pitches. Derek Shelton, who's the manager of the Pirates, he talked about this after the game, and he was pretty much asked, hey, was this an easy decision? Was it a tough one? And this is what he said.