let substract = fun u d -> let p=(fun y -> not (List.mem y d)) in (List.filter p u)