As is broadly recognized, the straightforward application of the Diamond-Mirrlees (1971) production efficiency theorem implies that when lump-sum taxation is not available, then it is optimal for the government in a small open economy to rely on taxes on the net demand of households rather than...