Studies the effects of progressive income taxes and education finance in a dynamic heterogenous-agent economy. Exploration of the resulting tradeoffs for growth and efficiency; Results of the empirical parameter estimates; Provision of aggregate income and aggregate welfare.