https://1library.org/document/yrokv58y-toulmin-s-logical-types.html