 The amount of pitches he threw and then basically his arm fell off, he was older. So you would think a younger player could handle that workload better than an older player. You would think so, but at the same time, you don't want to jeopardize what the future is for this guy. I agree. So I'm not mad that Derek Shelton pulled him. Now, what I will say is, okay, if you wanted to give him a little more of an inch there, you say, listen, bro, go back out for the eighth.