“…To provide some insight into why either of these conditions are necessary for valid inference, note that at baseline (that is, when t = 0), the distribution of W is independent of X because of randomization; when either C ⊥ X | W or C ⊥ W | X holds and H 0 is true, it is implied that X ⊥ W | Y (t) = 1, t > 0, which is necessary for n −1/2 U n to have mean 0 asymptotically. For a proof of these results, see Appendix A of DiRienzo and Lagakos (2001a) or Kong and Slud (1997).…”