https://123dok.net/document/zkw141e8-semantics-wild-web-machines-help.html