Almost consensus: ABD and the edges of quorum replication

From Thomas's 1979 majority voting, to ABD's linearizable register, to Cassandra's read repair: we provide a runnable Python tour of quorum replication, and show how ABD does not solve consensus.