CAP_theorem loading ...