 he would have hit .404 out of the five years. And I think his lifetime batting average is .358. You are 1,000% right. So while I was talking to Dave in Chicago, I looked this up. So the three highest batting averages of all time. So there's three guys in the history of Major League Baseball to bat higher than .350. Joe Jackson, who we know is infamous at this point, he batted .356. Roger Hortons would be his second. He batted .358. And then Ty Cobb,