How To Write A Lean Problem Statement