Additional appendices for Nonlinear Tax Incidence and Optimal Taxation in General Equilibrium Dominik Sachs, Aleh Tsyvinski, Nicolas Werquin proofs.pdf Additional appendices