lol, why does the paper abstract assume I know what Lean is and it goes on to talk about lean 4 improvements?