Update lean_process.md