 The upshot of all this is that a philosophical defence of Humean supervenience, especially a defence like Lewis’s that shows us explicitly how to locate various folk properties in classical physics, is likely to show us how to locate those properties in more up-to-date physics. So Lewis’s defence of Humean supervenience then generalises into a defence of the compatibility of large swathes of folk theory with ideal physics. And the defence is consistent with the realist principle that truth supervenes on being, and with the Humean denial of necessary connections between distinct existences. And that, quite clearly, is a philosophically interesting project.