redo as Integer#product_cons