Lean: The Measurably Efficient MusicalĀ