Avoid the term "leader selection" here. More precise terms are "leader scheduling", "leader rotation", and "fork selection."