let implies l1 l2 =
    List.for_all (fun y -> implies1 l1 y) l2