Before revision:  Our procedure delivers sharp bounds for the identified set of counterfactuals (i.e. without imposing parametric assumptions about the distribution of unobservables) as the neighborhoods become large.
After revision:  Our procedure delivers sharp bounds for the identified set of counterfactuals (i.e. without parametric assumptions about the distribution of unobservables) as the neighborhoods become large.