 in the days following the decision. Yes, it serves as a benefit to President Trump in this particular scenario, but look at right now, in very, very real time, somebody else to whom it affords a tremendous benefit is President Biden, because it looks, at some point, regardless of what happens, he is going to be the former president at some point. My strong suspicion is it's going to be on or about the 20th of January of next year. It certainly looks that way today.