https://123dok.net/document/yjddp5ky-the-language-x-circuits-computations-and-classical-logic.html