let conjl l = List.fold_left conj _true l