(a.) Lean.