A section about documentation and abstract definitions