https://1library.net/document/zx2ge5wq-abstract-prove-approach-common-random-results-partially-ordered.html