Lean Definition