add lean10