Title: Simplicity of Lean