Lean - Some Ideas

A few Lean ideas