protected void toString(StringBuilder sb) { sb.append("[" + x.toString() + "]; "); if (left != null) { left.toString(sb); } if (right != null) { right.toString(sb); } }