 Such a statement is free of any mental state terms. It includes only quantifiers that range over mental states, terms that denote stimulations and behavior, and terms that specify various causal relations among them. It can thus be regarded as providing implicit definitions of the mental state terms of the theory. An individual will have those mental states just in case it possesses a family of first-order states that interact in the ways specified by the theory. (Though functionalists of course acknowledge that the first-order states that satisfy the functional definitions may vary from species to species — or even from individual to individual — they specify that, for each individual, the functional definitions be uniquely satisfied.)