Last spring I got very frustrated with the Symbolics because the compiler could not optimize tail recursion. Does Genera 8 do any better? Thanks, Larry Smith Computational Logic, Inc.