CAP Theorem — HLD System Design Theory