public static String postorderPrint(InspectableTree T, Position v) {
    String s = "";
    PositionIterator children = T.children(v);
    while (children.hasNext())
      s += postorderPrint(T, children.nextPosition()) + " ";
    s += v.element();		// elements must implement toString
    return s;
  }