How to Make Lean