https://123dok.net/document/zw55nwlz-journey-resource-control-calculi-explicit-substitution-intersection-account.html