Geeft Bernie Sanders het nu op?