https://5dok.net/document/myjj21my-resolving-rabin-s-paradox.html