recompute conjunctions moved to while loop, more comments