https://123dok.net/document/yngnj8nl-a-tale-of-two-diagnoses-in-probabilistic-systems.html