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.