CAP theorem, naive version.