So recently a religious debate intense discussion happened on #lisp
about whether the following form:
;; Form 1
(loop for i from 1 to 5 finally (return i))
should return 5
or 6
(or, in other words, (1+ 5)
- this notation is important as it will be used later).
I argue that it is invalid for it to return 6
and 5
must be returned instead.