public final String toString() {
   // was defined as e.g.  L = 3 * {a, b, c}
   return root.toString();
 }