// Textbook fragment 07.03
  public static <E> int depth (Tree<E> T, Position<E> v) {
    if (T.isRoot(v))
      return 0;
    else
      return 1 + depth(T, T.parent(v));
  }