Simplify progn.