Title: Lean Diagnostics