CAP Logic