Title: Lean integration