finished pushout-product intro