let
conj l1 l2 =
List
.fold_left conj1 l1 l2