 A distinction needs to be drawn between analytic and non-analytic reductive normative naturalism. Both kinds of theory claim that normative properties are natural ones and both offer sketches of naturalistic constitutive explanations of these properties. Analytic theories contend that their analyses are conceptual truths, whereas non-analytic ones do not contend this.