That's really neat! I'm very excited for the future of Lean.