This is a strong theoretical paper with important theoretical contributions. One reviewer (Reviewer 1) had some reservations which were mainly due to the structure of the paper and the quality of writing. After the rebuttal and the discussion, that reviewer was expressing a weak accept position given the importance of the results presented. I suggest that the paper is accepted as a poster. [This meta-review was reviewed and revised by the Program Chairs]