doc/high-level.md