 There's no guarantee that any of the names you hear thrown around would have a better chance against Trump. So this is a very challenging position that Democrats have actually been in the entire time against an opponent they see as an existential threat to democracy. All right. So speaking of which, what are Republicans doing?