This study examines optimal government redistribution in a Mirrleesian framework, accounting for a negative effect of longer working hours on productivity. A government ignoring this effect perceives labor supply as insufficient and sets lower marginal income taxes to encourage work. In...