This paper assesses when the validity of difference‐in‐differences depends on functional form. We provide a novel characterization: the parallel trends assumption holds under all strictly monotonic transformations of the outcome if and only if a stronger “parallel trends”‐type condition holds for the cumulative distribution function of untreated potential outcomes. This condition for parallel trends to be insensitive to functional form is satisfied if and essentially only if the population can be partitioned into a subgroup for which treatment is effectively randomly assigned and a remaining subgroup for which the distribution of untreated potential outcomes is stable over time. These conditions have testable implications, and we introduce falsification tests for the null that parallel trends is insensitive to functional form.

We develop a new approach for the identification of Pareto‐improving tax reforms. This approach yields necessary and sufficient conditions for the existence of Pareto‐improving reform directions. A main insight is that “Two brackets are enough”: When the system cannot be improved by altering tax rates in one or two income brackets, then there is no continuous reform direction that is Pareto‐improving. We also show how to check whether a given tax reform is Pareto‐improving. We use these tools to study the introduction of the Earned Income Tax Credit (EITC) in the United States in 1975. A robust finding is that, prior to the EITC, the U.S. tax‐transfer system was not Pareto‐efficient. Under plausible assumptions about behavioral responses, the 1975 reform was not Pareto‐improving. Qualitatively, though, it had the right properties: A similar reform with earnings subsidies made available to a broader range of incomes would have been Pareto‐improving.