Before revision:  If the means are treated as fixed, our EBCIs have an average coverage guarantee: the coverage probability is at least 1- \alpha on average across the n EBCIs for each of the means.
After revision:  If the means are treated as fixed, our EBCIs have an average coverage guarantee: the coverage probability is at least 1 - \alpha on average across the n EBCIs for each of the means.