lisp asserts completed