#12 removed redundant progn