https://123dok.net/document/qo5om060-a-logical-account-of-formal-argumentation.html