Arto's Notes re: the CAP theorem