 And here is the third and final worry.  RES+REU  is supposed to be a definition of “mental simulation of” on the basis of which a theory of mindreading can be built. However, neither  RES+REU  nor  PROC  make any reference to the idea of representing others’ mental states. Thus, how could these definitions help us to construct a Simulation Theory of mindreading? The answer is simple: they will help us exactly as a clear definition of “computation”, which has nothing to do with how the mind works, helped to develop the Computational Theory of Mind (see entry on  computational theory of mind).