The optimal design of low income support is examined using a structural labour supplymodel. The approach incorporates unobserved heterogeneity, fixed costs of work, childcarecosts and the detailed non-convexities of the tax and transfer system. The analysis considerspurely Pareto improving...