 He did, but in the end he did it. And the relief is what I hear in the voices of these Democrats praising him, because they're glad he's out, and they're glad he's out for the sake of the party's presidential hopes, but also many of them for their own hopes of staying in office. So there's gratitude, all right, but not so much for his services, but for his ending it.