walch j " , 1 000 lisp. drefmat.