add conjuncts