Update ia.lisp