Main Search Lean