Constitutionally, the official leader of the Senate is the ______.
vice president
president pro tempore
Senate majority leader
Senate majority whip
