Lean Precision and Style