 A good many objections against specific versions of higher-order theory have already been discussed above. Thus in section 3 we discussed Dretske’s (1995) ‘lack of any higher-order phenomenology’ objection to inner sense theory (which only targets inner sense theory). And in section 4 we discussed Dretske’s (1993) ‘spot’ objection to actualist higher-order thought theory, as well as Goldman’s (2000) epistemological objection, each of which appears to apply only to HOT theories. Of course some of the objections discussed above target more than one version of higher-order theory, while still not being fully general in scope. Thus the cognitive/computational complexity objections discussed in sections 3 and 4 apply to inner sense theories and to actualist HOT theories, but not to dispositionalist HOT or to some self-representational theories.