This is a strong and well written theoretical paper. Certainly one of the three best in my stack. I strongly recommend acceptance as a Spotlight presentation. [This meta-review was reviewed and revised by the Program Chairs]