I think Maxin Naumov found another bug. Man, these students that take the documentation seriously ;-)! I tried a straightforward definition of (fact n) and tried to leap through the subcall (fact (- n 1)) and it didn't work; in fact, ,l seemed to do the same thing as ,s in all cases. Looks like a bug. Brad