 And all week, the Astros' starting pitcher has been TBD, right? They've been playing their cards close, a lot of injuries in that rotation. They didn't announce their starting pitcher for tomorrow until today. And when I saw who it's going to be, I had to...