https://123dok.org/document/yr36wdmo-complete-abstractions-everywhere.html