Title: Leading Lean by Living Lean