https://123dok.net/document/yr318xwj-semantic-translation-super-consistency-entail-classical-cut-elimination.html