Add diagrams for presentation
Move model service into another section
Update .gitignore
Add isolation axiom
Add presentation (PowerPoint)