The model allows for simple optimal tax formulas that clarify the role of different externality patterns. In general, externalities that run from top earners to bottom earners have much stronger tax ...