https://9dok.net/document/y6e8j7xn-other-views-relating-to-dual-class-structures.html