https://1library.org/document/y6e385ln-bochum-plan-foundations-contra-classical-logics.html