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