We study optimal nonlinear income taxation when earnings can differ because of both ability and luck, so the income tax has both a redistributive role and an insurance role. A substantial literature on optimal redistribution in the absence of uncertainty has evolved since Mirrlees' original...