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