- Consider the null hypothesis: \[ H_0: Y_i(0) = Y_i(1), \forall i = 1, \cdots, N. \]
- Under this null hypothesis, we can infer all the missing potential outcomes from the observed ones.
- A null hypothesis of this property is called the sharp null hypothesis.
- Under a sharp null hypothesis, we can infer the exact distribution of any statistics that is a function of \(\mathbf{Y}^{obs}, \mathbf{W}\), and \(\mathbf{X}\).