We study the optimal design of means-tested transfers and progressive income taxes. In a simple analytical model, we demonstrate an optimally negative relation between transfers and income-tax progressivity due to efficiency and redistribution concerns. In a rich dynamic model, we quantify the...