procUnionDiffXprod.cpp -v 2.0