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