Some lazy sequences