 Final thoughts as we go into the All-Star break. Obviously, C.J. Abrams is a very deserving All-Star, but there were a couple of real good candidates on this pitching staff that did not get selected. And Jake Irvin in the rotation and Kyle Finnegan as a reliever. How let down were you guys in the bullpen that Finnegan didn't make it? Because he had the saves, he's got the ERA, he's got the strikeouts. It seemed like he had a great resume to be recognized among the league's best.