 But Jose Miranda in 73 games played at this point this season. He has as many hits as Carlos Correa, but he's batting a .331. He's one of the top half a dozen guys in baseball batting average-wise. Now, a lot of it does help over the weekend when you go 12 for 12. I understand that. He was still batting a .300 when that had come through, right about a .300. So he just has completely bolstered.