 If, in fact, that actually happens, well, that might bring many Democratic voters or at least the anti-Trump voters finally home to Joe Biden. Or home to whoever turns out to be the official Democratic nominee. That's a theory anyway. We'll see if it comes to pass. But I do mention it today, if only to note, well, yeah.