 Because they're pushing him out. This is kind of one of their ways of getting him out. And it comes at a terrible time because the Democrats are getting ready here in August. But who knows how all of this unrolls because they have a kind of a flexible nominating process that they can start. So that's unclear.