adds binomial systems for product criterion