Can the Spanish government generate more tax revenue by making personal income taxes progressive? To answer this question, we build a life-cycle economy with uninsurable labor productivity risk and endogenous supply. Individuals face progressive on capital incomes proportional that capture social security, corporate income, consumption taxes. Our is yes, but not much. A reform increases for ind...