 I'm not sure he wouldn't have been overridden. And the fact that Chris Sale is starting today really got them out of the Paul Skeens is starting now because we wanted them to start even if Chris Sale was available. I'm not telling you there's a paper trail, but I have a feeling this would have been, if not a dogfight, it would have been the old school manager saying, no, I get to run it, and baseball saying, no, we're going to open up the game with that guy. So I think they maybe dodged a little bit of a bullet with the scheduling the way it turned out for Chris Sale on the mound today.