hello, In limit.lisp there's unreacheble code, I think. It's placed in the mabs-subst. It's (COND ... ((AND A D) (COND ((ZEROP1 D)... The second COND is never touched if D is zero. I don't understand this special treating of abs(0). Any comments? -- Andrei Zorine