Question
What assumption is doing the most work here?
In the potential-outcomes framing, ignorability / unconfoundedness (treatment is independent of potential outcomes given covariates) seems to carry the whole argument for observational data. Is it fair to say everything downstream — matching, propensity scores — is just machinery to make that assumption plausible?