progn

(progn expresión...)

Evalúa las expresiones en orden y devuelve la última. Sirve para poner varias donde se espera una, como en if.

(if ok (progn (princ "Hecho") (setq n (1+ n))))