https://9lib.org/document/7q0m639z-paradoxes-of-probabilistic-programming.html