Trick to convert from multiplicative assertion to additive assertion
The names of the product elements
The name of the type