Update e-1.12.lisp