Simple semantics are another story, but we'll be limiting ourselves to a suitably simple dialect of lisp for the purposes of this article.