Also try out with new lean R