internet-lisp to internet satisfaction