quorums-in-distributed-systems__basic-concepts-and-theorems__distributed-systems-for-practitioners