let conj l1 l2 = List.fold_left conj1 l1 l2