add lean example