let implies1 l1 y = List.exists (fun x -> Disj.implies x y) l1