 We would have been happy with any of the other guys we had targeted, but this guy was really special. He's 21 years old. He has a whole career out in front of him. Without looking, was this a good year for pitchers in the draft? I mean, that's going to be, of course, the knock. Should the Rockies always be drafting pitchers? And in particular, guys coming out of the bullpen.