 Chalmers (2012) complains that semantically permeated individuation sacrifices significant virtues that made LOTH attractive in the first place. LOTH promised to advance naturalism by grounding cognitive science in non-representational computational models. Representationally-specified computational models seem like a significant retrenchment from these naturalistic ambitions. For example, semantically permeated theorists cannot accept the FSC explanation of semantic coherence, because they do not postulate formal syntactic types manipulated during mental computation.