Jonathan proposes: (LAMBDA (A B . R) (OPTIONAL ((X 1) (Y (+ X 5))) R -body-)) As one of the sad, major forces behind Common Lisp, I'm glad to see that Common Lisp doesn't have a monopoly on bad taste. The only palletable line in this code reads: -body-)) -rpg-