Title: Memories of S-Expressions Proving Properties of Lisp-Like Programs That Destructively Alter Memory