Statistics for Does Cox analysis of a randomized survival study yield a causal treatment effect?