 He was marvelous in helping Washington to a World Series. He's not been the same guy since. He's getting paid $35 million. He's the worst pitcher in their rotation right now. Corey Seager, Nolan Arenado, $35 million. Steven Strasburg, retired, $35 million. Francisco Lindor, hitting $250 million for the Mets. Now this is when you get into an area where we look at the analytics and we go on the surface, oh, $250 million.