Arto's Notes re: distributed consensus