Draft talk:Optimal Commodity Taxation Theory