https://1library.org/document/zkw4j3o1-import-logics-formal-inconsistency.html