 So it has to be, first, his decision on whether he continues to run. If he does, then that's it. That's the end of that question. But if he doesn't, then it's jump ball. Would his replacement automatically be Kamala Harris as the vice president?