so, can bernie run for senate majority leader?

or does that automatically go to chuck schumer?