25 Lisp. j _ 126- 4 , 495 ; 6452 447 208- 03434