If Bernie isn't the Democratic nominee, I hope he runs as an independent (I doubt he will), because Trump isn't the enemy that needs to be defeated.