(progn term1 ... )
The progn function evaluates one expression after the other grouped in progn.
The function returns the value of the last expression of the progn group.
Example
(if test
(progn (princ test) (setq c (+ a b)) )
)