ProdDifference extension