https://123dok.net/document/zkw1mpd4-on-the-geometry-of-computations-ii.html