' / 2 lisp)