Exactly. Also, it's both possible for him to be better than trump (honestly, I could list a hundred awful or unfun things that are 100 percent better than trump) and still not someone we should celebrate. I don't think any US president is worthy of celebration *just* for being such (specific acts are fine, I'm not going to hate on FDR for the New Deal or Jimmy Carter for climbing into a nuclear reactor to stop a nuclear disaster or Obama for keeping a relatively stable internal experience in the imperial core, etc...)