[alasdair_]

I meant to thank you for this comment earlier - it’s led to a whole bunch of interesting stuff I did not know.

[PrettyPebble]

The 9 line summary is now also available as a preprint: https://www.motionmountain.net/9lines.pdf