 And again, I would prefer that it's Joe Biden who runs. But it's not my party. You know what I mean? I'm not a Democrat. It's not my party. It's up to Democrats to decide what happens there. NBC has got a story this morning.