let diff p q =
  let d' = D.diff p.d q.d
  and v' = V.diff p.v q.v in
    {p with v = v'; d = d'}