The divergence between some prominent Democrats and the party’s leftmost wing would probably fall away with a Trump victory — unite to fight the common enemy and all that. But if Joe Biden wins next month, then there is a potential for further intraparty division. That’s what Barack Obama seems to fear.

Obama recently encouraged “progressives” not to push too hard — or at least not to treat their demands as zero-sum matters.