 But his bat has really picked it up. You can go back to the amazing June he had where he hit 13 home runs. And now again, two last night and closing in on Gunnar Henderson for the team lead. But we look up now and he's batting .242, which is still below his career average, but he's been very good. 26 home runs, tied for fourth in all of baseball. He's top 15 in all of baseball with 63 RBIs. And his OPS is top 30 in all of the game at .826. And