 I don't know that Steve Colton's the greatest lefty. Robin Roberts also before my time. The things that they did back then, pitching, starting, relieving, pitching 75 days and 350 innings is just unheard of when we think of baseball today. But Mike Schmidt is the best third baseman of all time, so he's got to be. I don't have a problem with you saying that. And you can also throw in George Brett, too. Brett should be in the conversation, right, with Brooks and with others. But numero uno is Schmidt.