 Given that analytic naturalism provides analyses of moral terms—more exactly, a procedure for constructing such analyses once we have a mature folk morality—one might conclude that various moral propositions will be a priori justified, most significantly, the definitions of moral terms. Jackson claims as much. Explaining the “a priori” supervenience of moral on descriptive properties, e.g., he writes, 