Nodes agreeing that exactly one of them is the leader that does the work, and choosing a new one when it fails.