This article uses a simple model to review the economic theory of efficient redistributive taxation. The model economy … is a Lucas-tree economy, in which income comes from a stock of productive capital. Agents, who own the capital stock, are … heterogenous with respect to their preference for early versus late consumption. A competitive capital market, in equilibrium …