https://123dok.net/document/qo5j4n9j-c-provenance-semantics-examples.html