progn

(progn expr1 expr2...)

各式を順に評価し、最後の式の値を返します。それより前の式は副作用のためだけに評価されます。これは(if の分岐などで)単一のフォームが期待される場所に複数のフォームをまとめるための手段です。空の (progn) は nil を返します。