update conjuncts and marks