Carbon taxes do not have to equal consumption taxes.