Trump’s presidency is, in many ways, the Obama Undoing Project. Look at the Iran deal, environmental legislation, labour laws, the Trans-Pacific Partnership, and much else. Anything Barack did, I can undo better. That could be the Donald’s leitmotif. (Put aside Obamacare, for now.)

One Obama-era accomplishment cannot be undone, however: the killing of Osama bin Laden.