FactorProduct & FactorMarginalization