https://123dok.net/document/q2n0llkr-probability-functions-context-signed-involutive-meadows-extended-abstract.html