Tag CAP theorem