 You sit him down, no hitter on the line. That was his 11th start. Maybe it was his 12th start that he's had all season long. He's 6-0, and he has a 1.90 ERA. So it doesn't qualify him for the league leaders, but...