https://123dok.net/document/qvl4mrly-classical-realizability-and-arithmetical-formulae.html