Add notes on lazy sequenes