Before revision:  Our bound even holds under the Pair Conditional Sampling model, a restricted version of the conditional sampling model where every queried subset S either must have exactly 2 elements, or must be the entire domain of the distribution.
After revision:  Our bound even holds under a restricted version of the conditional sampling model where every queried subset S either must have exactly 2 elements, or must be the entire domain of the distribution.