• TL;DR
• Plugin decoupling and delayed imports
• Formal specification
• Level 0