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