Explanatory exclusion and mental explanation. (2nd April 2016)