( 4 1.2 lisp.)