Given Kim’s principle of explanatory exclusion (EE), it follows that in addition to the problem of mental causation, dualism faces a problem of mental explanation. However, the plausibility of EE rests upon the acceptance of a further principle concerning the individuation of explanation (EI). The two methods of defending EI—either by combining an internal account of the individuation of explanation with a semantical account of properties or by accepting an external account of the individuation of explanation—are both metaphysically implausible. This is not, however, to reject the problem of mental explanation, for EE can be replaced with a far weaker principle, which does not require the acceptance of EI, but which generates a similar problem for dualism.