Lean is the friend of productivity.