Lazy sequences are lazy