CAP Theorem simplified