The Origins of Agile in Lean