How To Properly Make Lean