Not that it much matters with such luminairies like mitch mcconnell running the vichy gop caucus.
Old Mitch might not be the majority leader if the Republicans retake the Senate. New blood, new members and a new program might be in place.
Ted Cruz for majority leader anyone?
He’d get a budget passed at the very least