We characterize optimal income taxation and unemployment insurance in a search-matching framework where both voluntary and involuntary unemployment are endogenous and Nash bargaining determines wages. Individuals differ in utility when voluntarily unemployed (non-participants in the labour...