How do labor market frictions affect optimal redistributive policies? Are current real world policies efficient? To answer these questions and assess their quantitative relevance we embed an otherwise standard Mirrlees’ (1971) economy in a directed search environment. Effort and employment...