start of product morphism
thinking about it