Add CAP theorem (Brewer's theorem)