 CCTM fits together nicely with RTT+COMP. Turing-style computation operates over symbols, so any Turing-style mental computations must operate over mental symbols. The essence of RTT+COMP is postulation of mental symbols. Fodor (1975, 1981) advocates RTT+COMP+CCTM. He holds that certain core mental processes are Turing-style computations over Mentalese expressions.