Lean problems 2

Lean problems 2