Lean Definitions