 just because it's in Texas. And he's also having a good year. I mean, he's not having a great year, but Simeon just seems to be the bigger name guy for the second baseman, so I got to go with him. Okay. Shortstop might be the hardest one of all. For me, it's the hardest one of all. No question. Gunnar Henderson, Bobby Witt Jr. Tough problem to have. Let's put it that way.