https://9pdf.org/document/zgwlr30n-view-of-a-virtual-class-calculus.html