https://9lib.org/document/9yndmvlz-widok-kilka-uwag-o-tzw-pesymistycznej-meta-indukcji.html