Yeah, he wasn't. Tied for the NL lead in wins though, with a (very) outside chance at 20 wins in theory. Just let him pitch as much as he wants to the rest of the year. 13-4, 3.71 through early August is not a stretch He's 45th in the NL in pitching fWAR, has given up the third most HRs in the league, plays for a team that very publicly announced they wanted to be irrelevant the rest of the season, and per Fanduel is +15000, or 150/1, to win it. I think 'stretch' is being exceedingly generous.