Title: CC and its meta theory