renamed xProdSetOf -> xCross