The main value of a carbon tax is normative.