In a static setting, whether consumption or labor income is progressively taxed isirrelevant for household choices and welfare. In a dynamic setting, however, thesetwo forms of progressivity have markedly di erent implications for how earnings varyalong the life-cycle: in a stylized life-cycle...