ENH Carbon taxes are better than other taxes