let is_empty p =
  V.is_empty p.v &&
  D.is_empty p.d