Lean Edits