Before revision:  However in this note the author identifies the shortcomings in the formulation of the substitution argument and explains why it's claims about functionalist theoriesare wrong ] .
After revision:  However in this note the author identifies the shortcomings in the formulation of the substitution argument and explains why it's claims about functionalist theoriesare wrong ], allowing us to distinguish between different types of variation. Motivated by examples from neural networks, state machines and Turing machines, we will prove that substitutions do not exist for a very broad class of Level-1 functionalist theories, rendering them immune to the aforementioned substitution argument .