This is excellent stuff, as is all of Peter's (and others) prior work in this area. It's a great step from "you can't do X" (like https://groups.csail.mit.edu/t

This is excellent stuff, as is all of Peter's (and others) prior work in this area. It's a great step from "you can't do X" (like https://groups.csail.mit.edu/tds/papers/Lynch/MIT-LCS-TM-394.pdf https://groups.csail.mit.edu/tds/papers/Lynch/MIT-LCS-TM-394..., also a great read) to "ok what can I do then?" Highly recommended reading.