Semantics of C in K