Simple and nice for Leme