Update lean-strategy.md