Before revision:  Formally, we establish consistency and asymptotic normality of the estimated causal parameter. We then compare our assumptions and results with those in the synthetic control (SC) literature.
After revision:  Formally, we establish consistency and asymptotic normality .