Adding high-level documentation