 It's a topic that's swirling around him. You're risking him as a hitter to pitch, but he's a very good, not great pitcher. I know. Very good, but not great. He's not great. For as much as I've watched him, the amount of strikeouts, it's special, but you're exactly right. I remember when I was playing baseball, and in nights I was pitching, our manager would simply say, it doesn't matter what you do at the plate. Your job tonight is to pitch.