The reviewers all found the theoretical contribution to be of value to the NeurIPS community and recommended an accept. Note that there are several important comments from the reviewers that should be taken into account in the final version.