Nemati AI | CAP Theorem Revisited: PACELC | Nemati AI