Post publication, with some of Talia's suggestions and edits

This is (almost) the same version as in the paper, but with some minor edits and improvements by @fredtal.