#lean(1)