first version of ClosureByProduct
operational on a trivial example