 With this phenomenological account of skill development in hand it is easy to see the problem for the development of AI programmes. Computing machines need some form of formal rules (a program) to operate. Any attempt to move from the formal to the particular, as described by Dreyfus above, will be limited by the ability of the programmer to formulate rules for such a shift. Thus, what the computer lacks (and we as human beings have) is an already there familiarity with the world that it can draw upon as the transcendental horizon of meaning to discern the relevant from the irrelevant in ongoing activity—i.e., the computer is not already a skilled actor (a being-in-the-world in Heidegger’s terms). The critique of Dreyfus was one of the major factors that pushed AI researchers into new ways of thinking about AI—in particular the development of the embodied cognition programme of the Massachusetts Institute of Technology (MIT) AI Lab.