(length '(a b c) )
⇒ (+ 1 (length '(b c )))
⇒ (+ 1 (+ 1 (length '(c))))
⇒ (+ 1 (+ 1 (+ 1 (length '()))))
⇒ (+ 1 (+ 1 (+ 1 0)))
⇒ (+ 1 (+ 1 1))
⇒ (+ 1 2)
⇒ 3
巻き取り段階
巻き戻し段階