Are Carbon Taxes Really Simpler?