Update execution.md