let
d_of p = p.d