In a static setting, whether consumption or labor income is progressively taxed is irrelevant for household choices and welfare. In a dynamic setting, however, these two forms of progressivity have markedly di erent ...