2019-07-10

(Adapted from a talk by Syksy Räsänen, more details at this blog post.)