Head formulas may now contain conjunctions.