All reviewers highly appreciated the results and techniques in the paper, so it is definitely worthy of acceptance. The only complaint was that the paper is perhaps difficult to read, with some derivations being difficult to follow. The authors suggested to address this issue by illustrating the main ideas on a simple running example. I urge the authors to implement this change in the final version of the paper.