The Lean and Strong Program