 They've come at a better time. The Nationals are in the midst of this 17-game stretch with no off days between now and the All-Star break. The bullpen was gassed. They had three relievers unavailable yesterday. All the back-end guys. So for Irvin, basically to bridge the gap to the ninth inning was a huge performance for the club. And if you're on the other side of your Jose Quintana, it's probably the best game you've pitched all year.