let disj l1 l2 = List.fold_left (fun l x -> List.fold_left (fun l y -> conj1 l (Disj.disj x y)) l l2) _true l1