$.$. Lean