What should Bernie Sanders do now?