Lisp DO变量语法推理

在Peter Seibel的Practical Common Lisp中,他给出了这个例子:

(do ((nums nil) (i 1 (1+ i)))
    ((> i 10) (nreverse nums))
  (push i nums))

我可以看到它是如何工作的,在循环中使用nums但不给它一个步骤形式.为什么要将num放在变量定义中而不是这样做:

(let (nums) (do ((i 1 (+ i 1)))
         ((> i 10) (nreverse nums))
       (push i nums)))

我确信这是一个很好的理由,但我还没有得到它.

因为它方便并且节省了缩进.此外,累加器在概念上属于循环,为什么不把它放在那里呢？