The Semantics of Destructive LISP: Volume 5