 I don't think that they've hit. So they might be in the market for a bat, I think. But Philadelphia, to me, I think their pitching staff is just as good as Atlanta's at the top. When you look at Wheeler and Nola, Ranger Suarez, I know he's come back to earth a little bit, but still very much a quality starter. And they can match Sale and Lopez and Morton and those guys, but...