Optimal tax theory in the Mirrlees’ (1971) tradition implicitly relies on the assumption that all agents are single or that couples may be treated as individuals, despite accumulating evidence against this view of household ...