Define iterProduct (1.31a)