CAP theorem | Factae