Using a computable general equilibrium model of the global cocoa market we analyze optimal export taxes in a multicountry framework. We show that Lerner's symmetry theorem for uniform taxes does not carry to the case of intraindustry trade with non-uniform taxes. Import liberalization in other...