Can the Spanish government generate more tax revenue by making personal income taxes more progressive? To answer this question, we build a life-cycle economy with uninsurable labor productivity risk and endogenous labor supply. Individuals face progressive taxes on labor and capital incomes and...