 Naturalists and non-naturalists typically share a commitment to supervenience. Roughly put, supervenience says that, necessarily, there can be no moral difference without some natural (or non-moral) difference. There are various ways to interpret supervenience and its metaphysical significance. So long as we reject a global error theory, though, supervenience seems to guarantee some necessarily true universal generalizations involving moral predicates.