Is the Spanish economy positioned at its optimal progressivity level in personal income tax? This article quantifies the aggregate, distributional, and welfare consequences of moving toward such an optimal level. A heterogeneous households general equilibrium model featuring both life cycle and...