progn

(progn expression...)

Evaluates the expressions in order and returns the last one. Used to put several where one is expected, as in if.

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