 Fodor’s exposition sometimes suggests that CTM, CCTM, or CCTM+FSC is definitive of LOTH (1981: 26). Yet not everyone who endorses RTT+COMP endorses CTM, CCTM, or FSC. One can postulate a mental language without agreeing that mental activity is computational, and one can postulate mental computations over a mental language without agreeing that the computations are sensitive only to syntactic properties. For most purposes, it is not important whether we regard CTM, CCTM, or CCTM+FSC as definitive of LOTH. More important is that we track the distinctions among the doctrines.