https://123dok.net/document/zkw071n4-nominal-abstraction.html