let under_topify t =
    create
      (get_flags t)
      (V.under_topify (get_v t))