RREDUCE (RREDUCE []) If the is, e.g., (1 2 3 ... n-1 n), then the result of (RREDUCE ) is the same as for ( 1 ( 2 ( 3 ... ( n-1 n))...))), and the result of (RREDUCE ) is the same as for ( 1 ( 2 ( 3 ... ( n ))...))) This function equals to the Common Lisp (REDUCE :from-end t [:initial-value ]) The only exception is that when isn't given and the is empty; Common Lisp calls the with no args in this case, whule InteLib Lisp doesn't call it and just returns the empty list.