More work on leader election.