https://9dok.net/document/y964x2pw-the-part-time-parliament-leslie-lamport-september.html