https://9dok.net/document/y8gnpem0-a-little-theory-of-abstraction.html