https://123dok.net/document/4yredx8z-on-abstraction-in-a-carnapian-system.html