Mental causation has been a concern in the philosophy of mind since Descartes. Intuitively, thoughts are causes of behavior, and they are causes of behavior in virtue of their mental properties. The computational theory of mind views thoughts as symbol tokenings, and thus as causes. However, if the computational theory of mind is correct, the causal efficacy of mental properties is problematic. A representation tokening causes further representation tokenings or behaviors in virtue of local computational properties of the representation. Mental properties could explain mental causation as well, if they could be identified with, or they supervened upon, causally relevant computational properties of representations. But on plausible construal...