 But there is another important strain of functionalism, “analytic” functionalism, that takes there to be reason to restrict the defining theory not just to generalizations sufficiently close to those that “the folk” take to hold between mental states, environmental stimulations, and behavior, but rather to a priori information about these relations. (See Smart 1959, Armstrong 1968, Shoemaker 1984a,b,c, Lewis 1972, and Braddon-Mitchell and Jackson 1996/2007.) This is because, for analytic functionalists, there are equally important goals that require strictly a priori characterizations of mental states.