Lean8895: The simplicity of abstraction

Section 4 reveals these patterns at the different levels of abstraction, paving the way to a dramatic reduction of the abundant literature of almost thousands pages, finally exposing a consistent, elegant and extensible meta-model.