https://1library.org/document/q7rnepky-the-ontological-import-of-adding-proper-classes.html