The metaethical view that (i) ethicalsentencesexpresspropositions; (ii) some such propositions are true; (iii) those propositions are made true by objectivefeatures of the world, independent of human opinion; and (iv) these moral features of the world are not reducible to any set of non-moral features.