LISP PROGRAM-SIZE COMPLEXITY IV