Implemented any_are_leader.