Getting a group of nodes to agree on one value or one ordered log, despite failures, as long as a majority is up (Raft, Paxos).