let mk_conj pl = mk_neg (mk_disj (List.map mk_neg pl))