On Sun, Jul 6, 2008 at 5:05 PM, Barton Willis <willisb at unk.edu> wrote: > There are differences between fib and fastfib. ... and neither one is a proper simplifying function: subst(10,x,fib(x)) => fib(10) -- should be 55 -s