Improved lems examples