Working through "the lisp paper": McCarthy 1960