if(hasOtherLevels()) {
for(other_level_iterator ii = other_level_begin(), maxii = other_level_end(); ii != maxii; ii ++)
destroyString(otherLevel(ii));
if(hasOtherLevels()) {
for(other_level_iterator ii = other_level_begin(), maxii = other_level_end(); ii != maxii; ii ++)
destroyString(otherLevel(ii));