[] ConjugatedProduct model and tests