Lean Problem Statement Examples