let mk_conj = function
  | [] -> True
  | pl -> mk_neg (mk_disj (List.map mk_neg pl))