An intertemporal general equilibrium model of an economy with overlapping generations and two factors of production, labor and capital, is used to analyze the economic inefficiencies caused by the non- tradeability of human capital -and to derive a constrained pareto-optimal sys tern of taxes...