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...