https://9dok.net/document/z1djlgwv-semantics.html