 Like, what's the status of Justin Verlander? I've heard nothing. Oh, no, Verlander's pitching. He's pitching for the Astros. He's back and throwing okay. He's had a couple of good outings for Houston. I haven't seen, I mean, I'm following these teams every night. I haven't seen his name come up. I thought he was on the disabled list. He was, but he had returned.