let normalize d =  pset_map (fun i -> i) d