 But he's better, but Alonzo doesn't need a spot on the roster. Chris Lindor can just be a pinch hitter, and nobody's saying J.R. that he has to play or whatever. We're just saying that Alonzo's not their most deserving all-star. Yes.